bin_PROGRAMS=test
test_SOURCES=test_model.cc

SUBDIRS=dd

INCLUDES=-I../../../lib/cudd/include

test_LDADD=dd/libdd.a \
../../../lib/cudd/cudd/libcudd.a \
../../../lib/cudd/mtr/libmtr.a \
../../../lib/cudd/epd/libepd.a \
../../../lib/cudd/st/libst.a \
../../../lib/cudd/util/libutil.a